مسعود الوند؛ مرتضی حاجی حسینی؛ امیراحسان کرباسیزاده
چکیده
مشگلات منطق کلاسیک در توضیح مسائلی همچون پارادکسهای معنا شناختی، مسئله ابهام و پدیدههای کوانتمی موجب شده تا منطقدانها در صدد صورتبندی منطقی غیرکلاسیک برآیند که اینگونه مسائل در آن برنخیزد. با این حال، رشد غیرقابل انکار علم ریاضی و نفوذ گسترده آن در سایر شاخههای علمی اغلب منطقدانهای غیرکلاسیک را برآن داشته تا با جداکردن حوزه استدلالی ...
بیشتر
مشگلات منطق کلاسیک در توضیح مسائلی همچون پارادکسهای معنا شناختی، مسئله ابهام و پدیدههای کوانتمی موجب شده تا منطقدانها در صدد صورتبندی منطقی غیرکلاسیک برآیند که اینگونه مسائل در آن برنخیزد. با این حال، رشد غیرقابل انکار علم ریاضی و نفوذ گسترده آن در سایر شاخههای علمی اغلب منطقدانهای غیرکلاسیک را برآن داشته تا با جداکردن حوزه استدلالی ریاضیات از غیر ریاضی، بر پیروی استدلالهای ریاضیات از اصول منطق کلاسیک تاکید کنند. اما، ویلیامسن نشان میدهد که راهبرد جداسازی حوزه ریاضیات از غیر آن و پایبندی به منطق غیرکلاسیک در حوزههای غیرریاضی موجب اختلال در کاربردپذیری ریاضیات میشود و منطقدان غیر کلاسیک باید به فکر حل این مسئله باشد . در این نوشتار ضمن بیان استدلالهای ویلیامسن در تنش میان طرفداری از منطق غیرکلاسیک و کاربردپذیری ریاضیات و تاکید بر برخی از آنها، نشان میدهیم که برخلاف نظر ویلیامسن، فعالیت علمی مبتنی بر استنتاج قیاسی یکسره از منطق کلاسیک تبعیت نمیکند و بنابراین تنش مذکور گاهی فروکش می کند.